Fe b 19 92 Gröbner Bases and Extension of Scalars
نویسندگان
چکیده
Let A be a Noetherian commutative ring with identity, let A[x] = A[x1, . . . , xn] be a polynomial ring over A, and let I ⊂ A[x] be an ideal. Geometrically, I defines a family of schemes over the base scheme SpecA; the fiber over each point p ∈ SpecA is a subscheme of the affine space Ank(p) = Speck(p)[x], where k(p) = Ap/pp is the residue field of p. Let > be a total order on the monomials of A[x] satisfying x > x ⇒ xx > xx , and satisfying xi > 1 for each i. For f ∈ A[x], define in(f) to be the initial (greatest) term cx of f with respect to the order >, where c ∈ A is nonzero. For I ⊂ A[x], define the initial ideal in(I) to be the ideal (in(f) | f ∈ I) generated by all initial terms of elements of I. in(I) ⊂ A[x] is generated by single terms of the form cx ; we call such an ideal a monomial ideal. {f1, . . . , fr} ⊂ I is a Gröbner basis for I if and only if {in(f1), . . . , in(fr)} generates in(I). For an ideal I in a ring of formal power series A[[x]], Hironaka defined the corresponding notion (the standard basis of I) and proved a generalized Weierstrass division theorem.The relation between flatness and division was considered in [HLT 73] and later in [Gal 79] in order to obtain a presentation
منابع مشابه
Gröbner-Shirshov bases for extensions of algebras
An algebra R is called an extension of the algebra M by B if M = 0, M is an ideal of R and R/M ∼= B as algebras. In this paper, by using the Gröbner-Shirshov bases, we characterize completely the extensions of M by B. An algorithm to find the conditions of an algebra A to be an extension of M by B is obtained.
متن کامل1786 - 0091 Gröbner Bases of Modules over Σ − Pbw Extensions
For σ−PWB extensions, we extend to modules the theory of Gröbner bases of left ideals presented in [5]. As an application, if A is a bijective quasi-commutative σ − PWB extension, we compute the module of syzygies of a submodule of the free module A.
متن کاملNon-Commutative Gröbner Bases in Poincaré-Birkhoff-Witt Extensions
Commutative Gröbner Bases are a well established technique with many applications, including polynomial solving and constructive approaches to commutative algebra and algebraic geometry. Noncommutative Gröbner Bases are a focus of much recent research activity. For example, combining invariant theory and elimination theory, or elimination in moving frames of partial differential operators invar...
متن کاملA Gröbner Basis Proof of the Flat Extension Theorem for Moment Matrices
Curto and Fialkow proved in 1996 that flat positive semidefinite moment matrices always come from a finitely atomic positive measure. The tedious part of the proof is to show that flat moment matrices have always a flat extension. We give a new short argument for this based on Gröbner bases. Résumé. Curto et Fialkow ont démontré en 1996 que les matrices des moments, plates et semidéfinies posit...
متن کاملComputation of Unirational Fields
One of the main contributions which Volker Weispfenning made to mathematics is related to Gröbner bases theory. In this paper we present an algorithm for computing all algebraic intermediate subfields in a separably generated unirational field extension (which in particular includes the zero characteristic case). One of the main tools is Gröbner bases theory. Our algorithm also requires computi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1991